1. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
2. Sets-relations-functions
پدیدآورنده : SELBY,SAMUEL
کتابخانه: (طهران)
موضوع : SET THEORY , FUNCTIONS , ALGEBRA,ABSTRACTS
رده :
QA
248
.
3
.
S4
1969
